Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores

Intel x86 considered harmful

SMLNJ: Intel x86 back end Compiler Controlled Memory

This note describes the code generation algorithm used for the Intel x86, introduced in version 110.16. The standard Chaitin graph coloring register allocation cannot be used directly for machines with few registers, as all temporaries wind up being spilled, making for a poor allocation[Cha82]. Thus, for the x86, the conceptual model of the architecture has been extended with a set of memory lo...

The Augmint multiprocessor simulation toolkit for Intel x86 architectures

Most publicly-available simulation tools only simulate RISC architectures. These tools cannot capture the instruction mix and memory reference patterns of CISC architectures. In this paper, we present an overview of Augmint, an execution-driven multiprocessor simulation toolkit that fills this gap by supporting Intel x86 architectures. Augmint also supports trace-driven simulation for uniproces...

Vizer: A System to Vectorize Intel x86 Binaries

Traditional compilers conduct optimizations on intermediate representations derived from high level source code. However, it is sometimes necessary and fruitful to optimize executables or compiled object files. This paper describes the Vizer system which automatically vectorizes object code for the Intel x86 architecture. Binary optimization offers the opportunity to improve performance in situ...

Augmint -a Multiprocessor Simulation Environment for Intel X86 Architectures 1

Augmint is a fast execution driven multiprocessor simulator for Intel x86 architectures. It is based on MINT [1], but provides a user interface similar to that of Tangolite [2]. For the sake of simulation speed, processors are modelled as user level threads. A user de ned memory hierarchy simulator can be plugged into the simulator to study the behaviour of the architecture under consideration. 1.